HAS SORTING Configuration numBE = 15 numOCy = 5 hVal = 13317057 [3](5 10 9)[3](0 8 6)[3](1 14 12)[3](2 7 4)[3](3 13 11) 0: a = 3 b = 5 c = 10 move_type = 0 Configuration numBE = 15 numOCy = 5 hVal = 1914195315 [1](10)[3](0 6 4)[3](1 14 12)[3](2 5 9)[5](3 13 11 8 7) 1: a = 2 b = 5 c = 9 move_type = 2 Configuration numBE = 15 numOCy = 7 hVal = 1374832093 [1](10)[3](0 3 8)[3](1 14 12)[1](2)[5](7 13 11 5 4)[1](9)[1](6) 2: a = 0 b = 3 c = 8 move_type = 2 Configuration numBE = 15 numOCy = 9 hVal = 1081211961 [1](10)[1](0)[3](6 14 12)[1](7)[5](4 13 11 2 1)[1](9)[1](3)[1](8)[1](5) 3: a = 1 b = 4 c = 13 move_type = 2 Configuration numBE = 15 numOCy = 11 hVal = 2814760128 [1](7)[1](0)[3](3 14 9)[1](4)[1](1)[1](6)[1](12)[1](5)[1](2)[1](13)[3](10 8 11)